This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness (...) of quantification theory is proved both constructively and non-constructively and relative ad vantages of each type of proof are discussed. Similarly, constructive and non-constructive versions of Godel's first incompleteness theorem are given. I hope that the reader· will develop facility with the methods of proof and also be caused by reflect on their differences. I assume familiarity with quantification theory both in under standing the notations and in finding object language proofs. Strictly speaking the presentation is self-contained, but it would be very difficult for someone without background in the subject to follow the material from the beginning. This is necessary if the notes are to be accessible to readers who have had diverse backgrounds at a more elementary level. However, to make them accessible to readers with no background would require writing yet another introductory logic text. Numerous exercises have been included and many of these are integral parts of the proofs. (shrink)

H.P. Grice is a distinguished philosopher predominantly known for his influential contributions to the philosophy of language, but that is only one strand in a rich tapestry of ideas bearing on the philosophy of mind, ethics, and metaphysics as well. Some of the essays in this collection of original papers by leading philosophers edited by Grandy and Warner develop Grice's earlier work in the philosophy of language, but most of them discuss or present his newer and less-known work. Together they (...) demonstrate the unified and powerful character of his thoughts on being, mind, meaning, and morals. An introductory essay provides some of the first overview of Grice's thought, and makes explicit some of the relations among the essays. Grice's substantial response is followed by nineteen contributed papers whose authors include Donald Davidson, Stephen Schiffer, John Searle, and P.F. Strawson. The Times Literary Supplement writes of Grice: 'the only leader of whom it is true that the level of the discipline would be raised if most philosophers took him as a model of how to think and write.' This paperback edition replaces the hardback, published March 1986. (shrink)